Optimal. Leaf size=137 \[ -\frac{(a+b x) (g (a+b x))^{-m-2} (i (c+d x))^{m+2} \left (B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+A\right )}{i^2 (m+1) (c+d x) (b c-a d)}-\frac{B n (a+b x) (g (a+b x))^{-m-2} (i (c+d x))^{m+2}}{i^2 (m+1)^2 (c+d x) (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.616366, antiderivative size = 170, normalized size of antiderivative = 1.24, number of steps used = 6, number of rules used = 4, integrand size = 47, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.085, Rules used = {6742, 37, 2554, 12} \[ -\frac{A (a g+b g x)^{-m-1} (c i+d i x)^{m+1}}{g i (m+1) (b c-a d)}-\frac{B (a g+b g x)^{-m-1} (c i+d i x)^{m+1} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{g i (m+1) (b c-a d)}-\frac{B n (a g+b g x)^{-m-1} (c i+d i x)^{m+1}}{g i (m+1)^2 (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6742
Rule 37
Rule 2554
Rule 12
Rubi steps
\begin{align*} \int (220 c+220 d x)^m (a g+b g x)^{-2-m} \left (A+B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )\right ) \, dx &=\int \left (A (220 c+220 d x)^m (a g+b g x)^{-2-m}+B (220 c+220 d x)^m (a g+b g x)^{-2-m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )\right ) \, dx\\ &=A \int (220 c+220 d x)^m (a g+b g x)^{-2-m} \, dx+B \int (220 c+220 d x)^m (a g+b g x)^{-2-m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx\\ &=-\frac{A (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m}}{220 (b c-a d) g (1+m)}-\frac{B (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{220 (b c-a d) g (1+m)}-B \int \frac{220^m n (c+d x)^m (a g+b g x)^{-2-m}}{-1-m} \, dx\\ &=-\frac{A (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m}}{220 (b c-a d) g (1+m)}-\frac{B (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{220 (b c-a d) g (1+m)}+\frac{\left (220^m B n\right ) \int (c+d x)^m (a g+b g x)^{-2-m} \, dx}{1+m}\\ &=-\frac{220^m B n (c+d x)^{1+m} (a g+b g x)^{-1-m}}{(b c-a d) g (1+m)^2}-\frac{A (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m}}{220 (b c-a d) g (1+m)}-\frac{B (220 c+220 d x)^{1+m} (a g+b g x)^{-1-m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{220 (b c-a d) g (1+m)}\\ \end{align*}
Mathematica [A] time = 0.508259, size = 78, normalized size = 0.57 \[ -\frac{(c+d x) (g (a+b x))^{-m-1} (i (c+d x))^m \left (B (m+1) \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+A m+A+B n\right )}{g (m+1)^2 (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 4.586, size = 0, normalized size = 0. \begin{align*} \int \left ( bgx+ag \right ) ^{-2-m} \left ( dix+ci \right ) ^{m} \left ( A+B\ln \left ( e \left ({\frac{bx+a}{dx+c}} \right ) ^{n} \right ) \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (B \log \left (e \left (\frac{b x + a}{d x + c}\right )^{n}\right ) + A\right )}{\left (b g x + a g\right )}^{-m - 2}{\left (d i x + c i\right )}^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.538503, size = 632, normalized size = 4.61 \begin{align*} -\frac{{\left (A a c m + B a c n + A a c +{\left (A b d m + B b d n + A b d\right )} x^{2} +{\left (A b c + A a d +{\left (A b c + A a d\right )} m +{\left (B b c + B a d\right )} n\right )} x +{\left (B a c m + B a c +{\left (B b d m + B b d\right )} x^{2} +{\left (B b c + B a d +{\left (B b c + B a d\right )} m\right )} x\right )} \log \left (e\right ) +{\left ({\left (B b d m + B b d\right )} n x^{2} +{\left (B b c + B a d +{\left (B b c + B a d\right )} m\right )} n x +{\left (B a c m + B a c\right )} n\right )} \log \left (\frac{b x + a}{d x + c}\right )\right )}{\left (b g x + a g\right )}^{-m - 2} e^{\left (m \log \left (b g x + a g\right ) - m \log \left (\frac{b x + a}{d x + c}\right ) + m \log \left (\frac{i}{g}\right )\right )}}{{\left (b c - a d\right )} m^{2} + b c - a d + 2 \,{\left (b c - a d\right )} m} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (B \log \left (e \left (\frac{b x + a}{d x + c}\right )^{n}\right ) + A\right )}{\left (b g x + a g\right )}^{-m - 2}{\left (d i x + c i\right )}^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]